Integrand size = 20, antiderivative size = 196 \[ \int \frac {\left (c+a^2 c x^2\right ) \arctan (a x)^2}{x^3} \, dx=-\frac {a c \arctan (a x)}{x}-\frac {1}{2} a^2 c \arctan (a x)^2-\frac {c \arctan (a x)^2}{2 x^2}+2 a^2 c \arctan (a x)^2 \text {arctanh}\left (1-\frac {2}{1+i a x}\right )+a^2 c \log (x)-\frac {1}{2} a^2 c \log \left (1+a^2 x^2\right )-i a^2 c \arctan (a x) \operatorname {PolyLog}\left (2,1-\frac {2}{1+i a x}\right )+i a^2 c \arctan (a x) \operatorname {PolyLog}\left (2,-1+\frac {2}{1+i a x}\right )-\frac {1}{2} a^2 c \operatorname {PolyLog}\left (3,1-\frac {2}{1+i a x}\right )+\frac {1}{2} a^2 c \operatorname {PolyLog}\left (3,-1+\frac {2}{1+i a x}\right ) \]
[Out]
Time = 0.24 (sec) , antiderivative size = 196, normalized size of antiderivative = 1.00, number of steps used = 15, number of rules used = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.600, Rules used = {5070, 4946, 5038, 272, 36, 29, 31, 5004, 4942, 5108, 5114, 6745} \[ \int \frac {\left (c+a^2 c x^2\right ) \arctan (a x)^2}{x^3} \, dx=2 a^2 c \arctan (a x)^2 \text {arctanh}\left (1-\frac {2}{1+i a x}\right )-i a^2 c \arctan (a x) \operatorname {PolyLog}\left (2,1-\frac {2}{i a x+1}\right )+i a^2 c \arctan (a x) \operatorname {PolyLog}\left (2,\frac {2}{i a x+1}-1\right )-\frac {1}{2} a^2 c \arctan (a x)^2-\frac {1}{2} a^2 c \operatorname {PolyLog}\left (3,1-\frac {2}{i a x+1}\right )+\frac {1}{2} a^2 c \operatorname {PolyLog}\left (3,\frac {2}{i a x+1}-1\right )-\frac {1}{2} a^2 c \log \left (a^2 x^2+1\right )+a^2 c \log (x)-\frac {c \arctan (a x)^2}{2 x^2}-\frac {a c \arctan (a x)}{x} \]
[In]
[Out]
Rule 29
Rule 31
Rule 36
Rule 272
Rule 4942
Rule 4946
Rule 5004
Rule 5038
Rule 5070
Rule 5108
Rule 5114
Rule 6745
Rubi steps \begin{align*} \text {integral}& = c \int \frac {\arctan (a x)^2}{x^3} \, dx+\left (a^2 c\right ) \int \frac {\arctan (a x)^2}{x} \, dx \\ & = -\frac {c \arctan (a x)^2}{2 x^2}+2 a^2 c \arctan (a x)^2 \text {arctanh}\left (1-\frac {2}{1+i a x}\right )+(a c) \int \frac {\arctan (a x)}{x^2 \left (1+a^2 x^2\right )} \, dx-\left (4 a^3 c\right ) \int \frac {\arctan (a x) \text {arctanh}\left (1-\frac {2}{1+i a x}\right )}{1+a^2 x^2} \, dx \\ & = -\frac {c \arctan (a x)^2}{2 x^2}+2 a^2 c \arctan (a x)^2 \text {arctanh}\left (1-\frac {2}{1+i a x}\right )+(a c) \int \frac {\arctan (a x)}{x^2} \, dx-\left (a^3 c\right ) \int \frac {\arctan (a x)}{1+a^2 x^2} \, dx+\left (2 a^3 c\right ) \int \frac {\arctan (a x) \log \left (\frac {2}{1+i a x}\right )}{1+a^2 x^2} \, dx-\left (2 a^3 c\right ) \int \frac {\arctan (a x) \log \left (2-\frac {2}{1+i a x}\right )}{1+a^2 x^2} \, dx \\ & = -\frac {a c \arctan (a x)}{x}-\frac {1}{2} a^2 c \arctan (a x)^2-\frac {c \arctan (a x)^2}{2 x^2}+2 a^2 c \arctan (a x)^2 \text {arctanh}\left (1-\frac {2}{1+i a x}\right )-i a^2 c \arctan (a x) \operatorname {PolyLog}\left (2,1-\frac {2}{1+i a x}\right )+i a^2 c \arctan (a x) \operatorname {PolyLog}\left (2,-1+\frac {2}{1+i a x}\right )+\left (a^2 c\right ) \int \frac {1}{x \left (1+a^2 x^2\right )} \, dx+\left (i a^3 c\right ) \int \frac {\operatorname {PolyLog}\left (2,1-\frac {2}{1+i a x}\right )}{1+a^2 x^2} \, dx-\left (i a^3 c\right ) \int \frac {\operatorname {PolyLog}\left (2,-1+\frac {2}{1+i a x}\right )}{1+a^2 x^2} \, dx \\ & = -\frac {a c \arctan (a x)}{x}-\frac {1}{2} a^2 c \arctan (a x)^2-\frac {c \arctan (a x)^2}{2 x^2}+2 a^2 c \arctan (a x)^2 \text {arctanh}\left (1-\frac {2}{1+i a x}\right )-i a^2 c \arctan (a x) \operatorname {PolyLog}\left (2,1-\frac {2}{1+i a x}\right )+i a^2 c \arctan (a x) \operatorname {PolyLog}\left (2,-1+\frac {2}{1+i a x}\right )-\frac {1}{2} a^2 c \operatorname {PolyLog}\left (3,1-\frac {2}{1+i a x}\right )+\frac {1}{2} a^2 c \operatorname {PolyLog}\left (3,-1+\frac {2}{1+i a x}\right )+\frac {1}{2} \left (a^2 c\right ) \text {Subst}\left (\int \frac {1}{x \left (1+a^2 x\right )} \, dx,x,x^2\right ) \\ & = -\frac {a c \arctan (a x)}{x}-\frac {1}{2} a^2 c \arctan (a x)^2-\frac {c \arctan (a x)^2}{2 x^2}+2 a^2 c \arctan (a x)^2 \text {arctanh}\left (1-\frac {2}{1+i a x}\right )-i a^2 c \arctan (a x) \operatorname {PolyLog}\left (2,1-\frac {2}{1+i a x}\right )+i a^2 c \arctan (a x) \operatorname {PolyLog}\left (2,-1+\frac {2}{1+i a x}\right )-\frac {1}{2} a^2 c \operatorname {PolyLog}\left (3,1-\frac {2}{1+i a x}\right )+\frac {1}{2} a^2 c \operatorname {PolyLog}\left (3,-1+\frac {2}{1+i a x}\right )+\frac {1}{2} \left (a^2 c\right ) \text {Subst}\left (\int \frac {1}{x} \, dx,x,x^2\right )-\frac {1}{2} \left (a^4 c\right ) \text {Subst}\left (\int \frac {1}{1+a^2 x} \, dx,x,x^2\right ) \\ & = -\frac {a c \arctan (a x)}{x}-\frac {1}{2} a^2 c \arctan (a x)^2-\frac {c \arctan (a x)^2}{2 x^2}+2 a^2 c \arctan (a x)^2 \text {arctanh}\left (1-\frac {2}{1+i a x}\right )+a^2 c \log (x)-\frac {1}{2} a^2 c \log \left (1+a^2 x^2\right )-i a^2 c \arctan (a x) \operatorname {PolyLog}\left (2,1-\frac {2}{1+i a x}\right )+i a^2 c \arctan (a x) \operatorname {PolyLog}\left (2,-1+\frac {2}{1+i a x}\right )-\frac {1}{2} a^2 c \operatorname {PolyLog}\left (3,1-\frac {2}{1+i a x}\right )+\frac {1}{2} a^2 c \operatorname {PolyLog}\left (3,-1+\frac {2}{1+i a x}\right ) \\ \end{align*}
Time = 0.12 (sec) , antiderivative size = 220, normalized size of antiderivative = 1.12 \[ \int \frac {\left (c+a^2 c x^2\right ) \arctan (a x)^2}{x^3} \, dx=-\frac {a c \arctan (a x)}{x}+\frac {c \left (-1-a^2 x^2\right ) \arctan (a x)^2}{2 x^2}+\frac {2}{3} i a^2 c \arctan (a x)^3+a^2 c \arctan (a x)^2 \log \left (1-e^{-2 i \arctan (a x)}\right )-a^2 c \arctan (a x)^2 \log \left (1+e^{2 i \arctan (a x)}\right )+a^2 c \log (x)-\frac {1}{2} a^2 c \log \left (1+a^2 x^2\right )+i a^2 c \arctan (a x) \operatorname {PolyLog}\left (2,e^{-2 i \arctan (a x)}\right )+i a^2 c \arctan (a x) \operatorname {PolyLog}\left (2,-e^{2 i \arctan (a x)}\right )+\frac {1}{2} a^2 c \operatorname {PolyLog}\left (3,e^{-2 i \arctan (a x)}\right )-\frac {1}{2} a^2 c \operatorname {PolyLog}\left (3,-e^{2 i \arctan (a x)}\right ) \]
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 4.
Time = 45.98 (sec) , antiderivative size = 1134, normalized size of antiderivative = 5.79
method | result | size |
derivativedivides | \(\text {Expression too large to display}\) | \(1134\) |
default | \(\text {Expression too large to display}\) | \(1134\) |
parts | \(\text {Expression too large to display}\) | \(1561\) |
[In]
[Out]
\[ \int \frac {\left (c+a^2 c x^2\right ) \arctan (a x)^2}{x^3} \, dx=\int { \frac {{\left (a^{2} c x^{2} + c\right )} \arctan \left (a x\right )^{2}}{x^{3}} \,d x } \]
[In]
[Out]
\[ \int \frac {\left (c+a^2 c x^2\right ) \arctan (a x)^2}{x^3} \, dx=c \left (\int \frac {\operatorname {atan}^{2}{\left (a x \right )}}{x^{3}}\, dx + \int \frac {a^{2} \operatorname {atan}^{2}{\left (a x \right )}}{x}\, dx\right ) \]
[In]
[Out]
\[ \int \frac {\left (c+a^2 c x^2\right ) \arctan (a x)^2}{x^3} \, dx=\int { \frac {{\left (a^{2} c x^{2} + c\right )} \arctan \left (a x\right )^{2}}{x^{3}} \,d x } \]
[In]
[Out]
\[ \int \frac {\left (c+a^2 c x^2\right ) \arctan (a x)^2}{x^3} \, dx=\int { \frac {{\left (a^{2} c x^{2} + c\right )} \arctan \left (a x\right )^{2}}{x^{3}} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {\left (c+a^2 c x^2\right ) \arctan (a x)^2}{x^3} \, dx=\int \frac {{\mathrm {atan}\left (a\,x\right )}^2\,\left (c\,a^2\,x^2+c\right )}{x^3} \,d x \]
[In]
[Out]